Define bounded above of a set